1. Automated Deduction in Geometry
پدیدآورنده : / Tetsuo Ida, Jacques Fleuriot
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Automated deduction in geometry :
پدیدآورنده : Tetsuo Ida, Jacques Fleuriot (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Geometry-- Data processing, Congresses
رده :
QA448
.
D38
I58
2012
